#!/bin/sh

counter=0

while read -r f ; do
	counter=$(($counter + 1))
	echo $counter
    echo "$f" | ../bin/csisat -check > /dev/null
done
